* make-dist: Replace grep with sed when determining $version.
authorGlenn Morris <rgm@gnu.org>
Tue, 12 Oct 2010 08:05:28 +0000 (01:05 -0700)
committerGlenn Morris <rgm@gnu.org>
Tue, 12 Oct 2010 08:05:28 +0000 (01:05 -0700)
commit0cba9d8da2d5ec9a231b479bf5592a13b34c2f1a
tree9a8e6d66b5fcc14e8fe4d947469260c77b2c6e2e
parent5ee885fa0f7f84d0f339e7dd22cbd7efe7c63915
* make-dist: Replace grep with sed when determining $version.
make-dist